sqrt(1/(2*pi)*(integrate sin^2(x) from 0 to 2*pi))